Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
801	24 25 CPAllow multiple finding sites for single regions of interest in measurement templates and segmentations 1 Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-05-25 11:10:00 Computer programming Software engineering Software C++ Macro Source code Constant HTML element Stat Template
802	ÉTOILÉ STATUS UPDATE FOSDEM 2012 http://www.etoileos.com What is it? Add to Reading List Source URL: etoileos.com Language: English - Date: 2012-02-17 05:00:08 Software Computer programming GNUstep NeXT Object-oriented programming languages Objective-C toil Blocks Clang FOSDEM GNU Compiler Collection
803	The Recurring Rainfall Problem Kathi Fisler WPI Dept of Computer Science Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2014-06-13 07:01:12 Software engineering Computer programming Computing Theoretical computer science How to Design Programs Recursion Functional programming Algorithm Fortran
804	Dynamic Process Management in an MPI Setting William Gropp Ewing Lusk ∗ Mathematics and Computer Science Division Argonne National Laboratory {gropp,lusk}@mcs.anl.gov Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Concurrent computing Computing Parallel computing Computer programming Message Passing Interface Parallel Virtual Machine Scheduling Windows Task Scheduler Process management Standard Performance Evaluation Corporation SPMD LAM/MPI
805	Asynchronous Event Handling and Safety Critical Java Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 04:15:01 Computing Software Computer programming Java Real-time computing Concurrent computing Real time Java Scheduling algorithms Thread Software design patterns Go Lock
806	23729951188720Department of Computer Engineering 00Department of Computer Engineering 1270-25781000Bilkent University Senior Design Project Smart-Vote: Electronic Voting System for Smartphones Add to Reading List Source URL: ivoteturkey.eu.pn Language: English - Date: 2014-05-14 18:12:51 Computing Software engineering Java Computer programming Method Concurrent programming languages Object-oriented programming languages Java syntax C++ Clone Constructor C++ classes
807	Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2 Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-11-10 23:12:58 Software engineering Computer programming Software testing Software metrics Abstract interpretation Symbolic execution Assertion Constant Code coverage
808	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
809	Extending Code Generation to Support Platform-‐Independent Event-‐B Models Asieh Salehi, Michael Butler and Colin Snook University of Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:48:12 Software engineering Programming language theory Computer programming Cross-platform software Procedural programming languages E Pascal C
810	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Computing Concurrency control Software engineering Computer programming Synchronization Linearizability Mutual exclusion Memory model Non-blocking algorithm Lock Thread Parallel computing

UPDATE